package gm.server;

/**
 * Munkaterület sarkának a megváltozása esemény.
 *
 * @author imruf84
 */
public interface WorkingAreaCornerChangeEvent {

    void onCornerChange(final WorkingArea wa, final int cornerIndex);
}
